Polymorphic Programming Language

#	Item
21	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory
22	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-09-18 16:08:18 Type theory Data types Aspect-oriented software development Aspect-oriented programming Procedural programming languages Standard ML Type system Type inference Generalized algebraic data type Software engineering Computing Software development